Compositional Analysis of Contract Signing Protocols∗ Michael Backes IBM Z¨ urich Research Lab

Source URL: theory.stanford.edu

• Data transmission
• Protocols
• Function
• Transmission Control Protocol
• IP
• Mathematics
• Information
• Communications protocol

IBM Research - Zurich GmbH SaeumerstrasseRueschlikon Switzerland Author:

Source URL: www.zurich.ibm.com

• Order
• Auction
• Business
• Invoice
• Market

IBM Research - Zurich GmbH SaeumerstrasseRueschlikon Switzerland

Source URL: www.zurich.ibm.com

Microsoft Word - rz3761_header.doc

Source URL: domino.research.ibm.com

• Electric vehicles
• Electric power transmission systems
• Sustainable transport
• Energy storage
• Electric power distribution
• Vehicle-to-grid
• Virtual power plant
• Charging station
• Electric vehicle battery
• Energy
• Technology
• Electric power

AN ARCHITECTURE FOR RAPID DECODING OF LARGE VOCABULARY CONVERSATIONAL SPEECH George Saon, Geoffrey Zweig, Brian Kingsbury, Lidia Mangu and Upendra Chaudhari IBM T. J. Watson Research Center, Yorktown Heights, NY, 10598 e

Source URL: research.microsoft.com

• Speech recognition
• Human–computer interaction
• Segmentation
• Science
• Speech segmentation
• Software
• Computational linguistics
• Automatic identification and data capture
• Computer accessibility

FMPE: DISCRIMINATIVELY TRAINED FEATURES FOR SPEECH RECOGNITION Daniel Povey, Brian Kingsbury, Lidia Mangu, George Saon, Hagen Soltau, Geoffrey Zweig IBM T.J. Watson Research Center, NY; {dpovey,bedk,mangu,gsaon,hsoltau,g

Source URL: research.microsoft.com

• Human–computer interaction
• Automatic identification and data capture
• Computer accessibility
• Speech recognition

➠ ➡ THE IBM 2004 CONVERSATIONAL TELEPHONY SYSTEM FOR RICH TRANSCRIPTION Hagen Soltau, Brian Kingsbury, Lidia Mangu, Daniel Povey, George Saon and Geoffrey Zweig IBM T.J. Watson Research Center, Yorktown Heights, NY

Source URL: research.microsoft.com

• Computer accessibility
• Human–computer interaction
• Acoustic model
• Covariance
• Science
• Software
• Computational linguistics
• Automatic identification and data capture
• Speech recognition

USE OF METADATA TO IMPROVE RECOGNITION OF SPONTANEOUS SPEECH AND NAMED ENTITIES Bhuvana Ramabhadran, Olivier Siohan, Geoffrey Zweig IBM T. J. Watson Research Center Yorktown Heights, NY 10598, USA {bhuvana, siohan, gzwei

Source URL: research.microsoft.com

• Linguistics
• Information retrieval
• Language
• Speech recognition
• Natural language processing
• Search engine indexing
• Text Retrieval Conference
• Vocabulary
• Word error rate
• Information science
• Science
• Computational linguistics

THE IBM 2006 GALE ARABIC ASR SYSTEM Hagen Soltau, George Saon, Daniel Povey, Lidia Mangu, Brian Kingsbury, Jeff Kuo, Mohamed Omar and Geoffrey Zweig IBM T. J. Watson Research Center, Yorktown Heights, NY, 10598 e-mail: {

Source URL: research.microsoft.com

• Computational linguistics
• Speech recognition
• Automatic identification and data capture
• Computer accessibility
• Arab
• OOV
• Vocabulary
• Word error rate
• Languages of Africa
• Languages of Asia
• Linguistics

C A S E S T U DY Taking a Major Consumer Brand Into the Cloud 451 Planning Advisors and 451 Research Advisors team up to develop an integrated Digital Infrastructure Roadmap™ helping a leading consumer products compan

Source URL: 451research.com

• Data center
• Infrastructure optimization
• IBM cloud computing
• Cloud computing
• Computing
• Concurrent computing